gtkpopover: Fix allocation of child widget wrt margins
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 13 Nov 2014 19:20:37 +0000 (20:20 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Thu, 13 Nov 2014 19:32:36 +0000 (20:32 +0100)
commit733f70ea8482074f74620d4d1f7843a18bc878fb
treebf22483ee0cf45b6a67a8441082450fc5b4f1715
parente0353b37a83d1c6aeb22b6880079df74e322b3c1
gtkpopover: Fix allocation of child widget wrt margins

During size request, all sides' margins are ensured to be as big
as TAIL_HEIGHT, just to avoid possible relocation loops if the
popover doesn't fit in its original position. This must be
accounted for in size_allocate() as well.
gtk/gtkpopover.c